Optimal. Leaf size=347 \[ -\frac {a^4}{b^4 \sqrt [3]{a+b x^3} (b c-a d)}+\frac {a^2 \left (a+b x^3\right )^{2/3}}{2 b^4 d}+\frac {\left (a+b x^3\right )^{2/3} \left (a^2 d^2+a b c d+b^2 c^2\right )}{2 b^4 d^3}+\frac {a \left (a+b x^3\right )^{2/3} (a d+b c)}{2 b^4 d^2}-\frac {\left (a+b x^3\right )^{5/3} (a d+b c)}{5 b^4 d^2}-\frac {2 a \left (a+b x^3\right )^{5/3}}{5 b^4 d}+\frac {\left (a+b x^3\right )^{8/3}}{8 b^4 d}-\frac {c^4 \log \left (c+d x^3\right )}{6 d^{11/3} (b c-a d)^{4/3}}+\frac {c^4 \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{2 d^{11/3} (b c-a d)^{4/3}}+\frac {c^4 \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}}{\sqrt {3}}\right )}{\sqrt {3} d^{11/3} (b c-a d)^{4/3}} \]
________________________________________________________________________________________
Rubi [A] time = 0.44, antiderivative size = 347, normalized size of antiderivative = 1.00, number of steps used = 11, number of rules used = 7, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.292, Rules used = {446, 87, 43, 56, 617, 204, 31} \begin {gather*} \frac {\left (a+b x^3\right )^{2/3} \left (a^2 d^2+a b c d+b^2 c^2\right )}{2 b^4 d^3}-\frac {a^4}{b^4 \sqrt [3]{a+b x^3} (b c-a d)}+\frac {a^2 \left (a+b x^3\right )^{2/3}}{2 b^4 d}+\frac {a \left (a+b x^3\right )^{2/3} (a d+b c)}{2 b^4 d^2}-\frac {\left (a+b x^3\right )^{5/3} (a d+b c)}{5 b^4 d^2}-\frac {2 a \left (a+b x^3\right )^{5/3}}{5 b^4 d}+\frac {\left (a+b x^3\right )^{8/3}}{8 b^4 d}-\frac {c^4 \log \left (c+d x^3\right )}{6 d^{11/3} (b c-a d)^{4/3}}+\frac {c^4 \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{2 d^{11/3} (b c-a d)^{4/3}}+\frac {c^4 \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}}{\sqrt {3}}\right )}{\sqrt {3} d^{11/3} (b c-a d)^{4/3}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 43
Rule 56
Rule 87
Rule 204
Rule 446
Rule 617
Rubi steps
\begin {align*} \int \frac {x^{14}}{\left (a+b x^3\right )^{4/3} \left (c+d x^3\right )} \, dx &=\frac {1}{3} \operatorname {Subst}\left (\int \frac {x^4}{(a+b x)^{4/3} (c+d x)} \, dx,x,x^3\right )\\ &=\frac {1}{3} \operatorname {Subst}\left (\int \left (\frac {a^4}{b^3 (b c-a d) (a+b x)^{4/3}}+\frac {b^2 c^2+a b c d+a^2 d^2}{b^3 d^3 \sqrt [3]{a+b x}}-\frac {(b c+a d) x}{b^2 d^2 \sqrt [3]{a+b x}}+\frac {x^2}{b d \sqrt [3]{a+b x}}+\frac {c^4}{d^3 (-b c+a d) \sqrt [3]{a+b x} (c+d x)}\right ) \, dx,x,x^3\right )\\ &=-\frac {a^4}{b^4 (b c-a d) \sqrt [3]{a+b x^3}}+\frac {\left (b^2 c^2+a b c d+a^2 d^2\right ) \left (a+b x^3\right )^{2/3}}{2 b^4 d^3}+\frac {\operatorname {Subst}\left (\int \frac {x^2}{\sqrt [3]{a+b x}} \, dx,x,x^3\right )}{3 b d}-\frac {c^4 \operatorname {Subst}\left (\int \frac {1}{\sqrt [3]{a+b x} (c+d x)} \, dx,x,x^3\right )}{3 d^3 (b c-a d)}-\frac {(b c+a d) \operatorname {Subst}\left (\int \frac {x}{\sqrt [3]{a+b x}} \, dx,x,x^3\right )}{3 b^2 d^2}\\ &=-\frac {a^4}{b^4 (b c-a d) \sqrt [3]{a+b x^3}}+\frac {\left (b^2 c^2+a b c d+a^2 d^2\right ) \left (a+b x^3\right )^{2/3}}{2 b^4 d^3}-\frac {c^4 \log \left (c+d x^3\right )}{6 d^{11/3} (b c-a d)^{4/3}}+\frac {\operatorname {Subst}\left (\int \left (\frac {a^2}{b^2 \sqrt [3]{a+b x}}-\frac {2 a (a+b x)^{2/3}}{b^2}+\frac {(a+b x)^{5/3}}{b^2}\right ) \, dx,x,x^3\right )}{3 b d}+\frac {c^4 \operatorname {Subst}\left (\int \frac {1}{\frac {\sqrt [3]{b c-a d}}{\sqrt [3]{d}}+x} \, dx,x,\sqrt [3]{a+b x^3}\right )}{2 d^{11/3} (b c-a d)^{4/3}}-\frac {c^4 \operatorname {Subst}\left (\int \frac {1}{\frac {(b c-a d)^{2/3}}{d^{2/3}}-\frac {\sqrt [3]{b c-a d} x}{\sqrt [3]{d}}+x^2} \, dx,x,\sqrt [3]{a+b x^3}\right )}{2 d^4 (b c-a d)}-\frac {(b c+a d) \operatorname {Subst}\left (\int \left (-\frac {a}{b \sqrt [3]{a+b x}}+\frac {(a+b x)^{2/3}}{b}\right ) \, dx,x,x^3\right )}{3 b^2 d^2}\\ &=-\frac {a^4}{b^4 (b c-a d) \sqrt [3]{a+b x^3}}+\frac {a^2 \left (a+b x^3\right )^{2/3}}{2 b^4 d}+\frac {a (b c+a d) \left (a+b x^3\right )^{2/3}}{2 b^4 d^2}+\frac {\left (b^2 c^2+a b c d+a^2 d^2\right ) \left (a+b x^3\right )^{2/3}}{2 b^4 d^3}-\frac {2 a \left (a+b x^3\right )^{5/3}}{5 b^4 d}-\frac {(b c+a d) \left (a+b x^3\right )^{5/3}}{5 b^4 d^2}+\frac {\left (a+b x^3\right )^{8/3}}{8 b^4 d}-\frac {c^4 \log \left (c+d x^3\right )}{6 d^{11/3} (b c-a d)^{4/3}}+\frac {c^4 \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{2 d^{11/3} (b c-a d)^{4/3}}-\frac {c^4 \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}\right )}{d^{11/3} (b c-a d)^{4/3}}\\ &=-\frac {a^4}{b^4 (b c-a d) \sqrt [3]{a+b x^3}}+\frac {a^2 \left (a+b x^3\right )^{2/3}}{2 b^4 d}+\frac {a (b c+a d) \left (a+b x^3\right )^{2/3}}{2 b^4 d^2}+\frac {\left (b^2 c^2+a b c d+a^2 d^2\right ) \left (a+b x^3\right )^{2/3}}{2 b^4 d^3}-\frac {2 a \left (a+b x^3\right )^{5/3}}{5 b^4 d}-\frac {(b c+a d) \left (a+b x^3\right )^{5/3}}{5 b^4 d^2}+\frac {\left (a+b x^3\right )^{8/3}}{8 b^4 d}+\frac {c^4 \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt [3]{b c-a d}}}{\sqrt {3}}\right )}{\sqrt {3} d^{11/3} (b c-a d)^{4/3}}-\frac {c^4 \log \left (c+d x^3\right )}{6 d^{11/3} (b c-a d)^{4/3}}+\frac {c^4 \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{2 d^{11/3} (b c-a d)^{4/3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.27, size = 157, normalized size = 0.45 \begin {gather*} \frac {\frac {81 a^3 d^3+9 a^2 b d^2 \left (8 c+3 d x^3\right )+3 a b^2 d \left (20 c^2+8 c d x^3-3 d^2 x^6\right )+b^3 \left (40 c^3+20 c^2 d x^3-8 c d^2 x^6+5 d^3 x^9\right )}{b^4}-\frac {40 c^4 \, _2F_1\left (-\frac {1}{3},1;\frac {2}{3};\frac {d \left (b x^3+a\right )}{a d-b c}\right )}{b c-a d}}{40 d^4 \sqrt [3]{a+b x^3}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.71, size = 393, normalized size = 1.13 \begin {gather*} -\frac {81 a^4 d^3-9 a^3 b c d^2+27 a^3 b d^3 x^3-12 a^2 b^2 c^2 d-3 a^2 b^2 c d^2 x^3-9 a^2 b^2 d^3 x^6-20 a b^3 c^3-4 a b^3 c^2 d x^3+a b^3 c d^2 x^6+5 a b^3 d^3 x^9-20 b^4 c^3 x^3+8 b^4 c^2 d x^6-5 b^4 c d^2 x^9}{40 b^4 d^3 \sqrt [3]{a+b x^3} (b c-a d)}+\frac {c^4 \log \left (\sqrt [3]{b c-a d}+\sqrt [3]{d} \sqrt [3]{a+b x^3}\right )}{3 d^{11/3} (b c-a d)^{4/3}}-\frac {c^4 \log \left (-\sqrt [3]{d} \sqrt [3]{a+b x^3} \sqrt [3]{b c-a d}+(b c-a d)^{2/3}+d^{2/3} \left (a+b x^3\right )^{2/3}\right )}{6 d^{11/3} (b c-a d)^{4/3}}+\frac {c^4 \tan ^{-1}\left (\frac {1}{\sqrt {3}}-\frac {2 \sqrt [3]{d} \sqrt [3]{a+b x^3}}{\sqrt {3} \sqrt [3]{b c-a d}}\right )}{\sqrt {3} d^{11/3} (b c-a d)^{4/3}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.84, size = 1300, normalized size = 3.75
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.26, size = 431, normalized size = 1.24 \begin {gather*} \frac {{\left (-b c d^{2} + a d^{3}\right )}^{\frac {2}{3}} c^{4} \arctan \left (\frac {\sqrt {3} {\left (2 \, {\left (b x^{3} + a\right )}^{\frac {1}{3}} + \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}}\right )}}{3 \, \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}}}\right )}{\sqrt {3} b^{2} c^{2} d^{5} - 2 \, \sqrt {3} a b c d^{6} + \sqrt {3} a^{2} d^{7}} - \frac {{\left (-b c d^{2} + a d^{3}\right )}^{\frac {2}{3}} c^{4} \log \left ({\left (b x^{3} + a\right )}^{\frac {2}{3}} + {\left (b x^{3} + a\right )}^{\frac {1}{3}} \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}} + \left (-\frac {b c - a d}{d}\right )^{\frac {2}{3}}\right )}{6 \, {\left (b^{2} c^{2} d^{5} - 2 \, a b c d^{6} + a^{2} d^{7}\right )}} + \frac {c^{4} \left (-\frac {b c - a d}{d}\right )^{\frac {2}{3}} \log \left ({\left | {\left (b x^{3} + a\right )}^{\frac {1}{3}} - \left (-\frac {b c - a d}{d}\right )^{\frac {1}{3}} \right |}\right )}{3 \, {\left (b^{2} c^{2} d^{3} - 2 \, a b c d^{4} + a^{2} d^{5}\right )}} - \frac {a^{4}}{{\left (b^{5} c - a b^{4} d\right )} {\left (b x^{3} + a\right )}^{\frac {1}{3}}} + \frac {20 \, {\left (b x^{3} + a\right )}^{\frac {2}{3}} b^{30} c^{2} d^{5} - 8 \, {\left (b x^{3} + a\right )}^{\frac {5}{3}} b^{29} c d^{6} + 40 \, {\left (b x^{3} + a\right )}^{\frac {2}{3}} a b^{29} c d^{6} + 5 \, {\left (b x^{3} + a\right )}^{\frac {8}{3}} b^{28} d^{7} - 24 \, {\left (b x^{3} + a\right )}^{\frac {5}{3}} a b^{28} d^{7} + 60 \, {\left (b x^{3} + a\right )}^{\frac {2}{3}} a^{2} b^{28} d^{7}}{40 \, b^{32} d^{8}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.46, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{14}}{\left (b \,x^{3}+a \right )^{\frac {4}{3}} \left (d \,x^{3}+c \right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 5.19, size = 564, normalized size = 1.63 \begin {gather*} \left (\frac {3\,a^2}{b^4\,d}+\frac {\left (\frac {4\,a}{b^4\,d}+\frac {b^5\,c-a\,b^4\,d}{b^8\,d^2}\right )\,\left (b^5\,c-a\,b^4\,d\right )}{2\,b^4\,d}\right )\,{\left (b\,x^3+a\right )}^{2/3}-\left (\frac {4\,a}{5\,b^4\,d}+\frac {b^5\,c-a\,b^4\,d}{5\,b^8\,d^2}\right )\,{\left (b\,x^3+a\right )}^{5/3}+\frac {{\left (b\,x^3+a\right )}^{8/3}}{8\,b^4\,d}+\frac {a^4}{b^4\,{\left (b\,x^3+a\right )}^{1/3}\,\left (a\,d-b\,c\right )}+\frac {c^4\,\ln \left ({\left (b\,x^3+a\right )}^{1/3}\,\left (a\,c^8\,d^5-b\,c^9\,d^4\right )-\frac {c^8\,\left (9\,a^4\,d^{15}-36\,a^3\,b\,c\,d^{14}+54\,a^2\,b^2\,c^2\,d^{13}-36\,a\,b^3\,c^3\,d^{12}+9\,b^4\,c^4\,d^{11}\right )}{9\,d^{22/3}\,{\left (a\,d-b\,c\right )}^{8/3}}\right )}{3\,d^{11/3}\,{\left (a\,d-b\,c\right )}^{4/3}}-\frac {\ln \left ({\left (b\,x^3+a\right )}^{1/3}\,\left (a\,c^8\,d^5-b\,c^9\,d^4\right )-\frac {{\left (c^4+\sqrt {3}\,c^4\,1{}\mathrm {i}\right )}^2\,\left (9\,a^4\,d^{15}-36\,a^3\,b\,c\,d^{14}+54\,a^2\,b^2\,c^2\,d^{13}-36\,a\,b^3\,c^3\,d^{12}+9\,b^4\,c^4\,d^{11}\right )}{36\,d^{22/3}\,{\left (a\,d-b\,c\right )}^{8/3}}\right )\,\left (c^4+\sqrt {3}\,c^4\,1{}\mathrm {i}\right )}{6\,d^{11/3}\,{\left (a\,d-b\,c\right )}^{4/3}}+\frac {c^4\,\ln \left ({\left (b\,x^3+a\right )}^{1/3}\,\left (a\,c^8\,d^5-b\,c^9\,d^4\right )-\frac {c^8\,{\left (-\frac {1}{6}+\frac {\sqrt {3}\,1{}\mathrm {i}}{6}\right )}^2\,\left (9\,a^4\,d^{15}-36\,a^3\,b\,c\,d^{14}+54\,a^2\,b^2\,c^2\,d^{13}-36\,a\,b^3\,c^3\,d^{12}+9\,b^4\,c^4\,d^{11}\right )}{d^{22/3}\,{\left (a\,d-b\,c\right )}^{8/3}}\right )\,\left (-\frac {1}{6}+\frac {\sqrt {3}\,1{}\mathrm {i}}{6}\right )}{d^{11/3}\,{\left (a\,d-b\,c\right )}^{4/3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{14}}{\left (a + b x^{3}\right )^{\frac {4}{3}} \left (c + d x^{3}\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________